<?php  
session_start ();  
if (!isset ($_SESSION["user_anmeldename"]))  
{  
  header ("Location: 00_navi_out.php");  
}  
?>